resolution for ground clause

[计] 基子句的归结

热门查询